Skip to content

chore: verify bootstrap version format before merge#36

Merged
mcdurdin merged 1 commit into
masterfrom
chore/verify-bootstrap-version
Jun 17, 2026
Merged

chore: verify bootstrap version format before merge#36
mcdurdin merged 1 commit into
masterfrom
chore/verify-bootstrap-version

Conversation

@mcdurdin

@mcdurdin mcdurdin commented Jun 16, 2026

Copy link
Copy Markdown
Member

Relates-to: keymanapp/keyman.com#794
Test-bot: skip

@mcdurdin mcdurdin changed the title feat: list sites when starting chore: verify bootstrap version format before merge Jun 16, 2026
@github-project-automation github-project-automation Bot moved this to Todo in Keyman Jun 16, 2026
Comment thread .github/workflows/ci.yml
# in the shared-sites repo. We will do this with a heuristic based on the normal
# shape of the tags, which is `v#.#.#`. Any other shape we will assume is a test
# branch.
cat resources/.bootstrap-required-version | grep -qP '^v\d+\.\d+\.\d+$' || (

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also a candidate for a custom GH action - although this is only a few lines it would still reduce code duplication

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, same thing as the other one, keymanapp/keyman.com#795

@mcdurdin mcdurdin merged commit a1724e9 into master Jun 17, 2026
4 checks passed
@mcdurdin mcdurdin deleted the chore/verify-bootstrap-version branch June 17, 2026 04:54
@github-project-automation github-project-automation Bot moved this from Todo to Done in Keyman Jun 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants